Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 1.Ident. | Authors (with country if any) | Title |
---|---|---|
000109 | Atif Mashkoor [Autriche] ; Faqing Yang [France] ; Jean-Pierre Jacquot [France] | Refinement-based Validation of Event-B Specifications |
This area was generated with Dilib version V0.6.33. |